package engine;
import java.util.LinkedList;


public class PhysicsResults {

	LinkedList<Float> results;
	
	/*
	 * @ requires this!=null;
	 * @ ensures results.getLast().equals((Float)r);
	 */
	public void addResult(float r)
	{
		results.add((Float)r);
	}
	/*
	 * @ assignable \nothing;
	 * @ returns results;
	 */
	public LinkedList<Float> getResults()
	{
		return results;
	}
	
}
